Towards a New Extension Relation for Compositional Test Case Generation for CSP Concurrent Processes
نویسندگان
چکیده
of thesis entitled Towards a New Extension Relation for Compositional Test Case Generation for CSP Concurrent Processes
منابع مشابه
Compositional Development in the Event of Interface Difference
We present here an implementation relation which allows compositional development of a network of communicating processes, in the event that corresponding specification and implementation components have different interfaces. This relation enjoys two basic properties which are fundamental to its success. It is compositional, in the sense that a target composed of several connected systems may b...
متن کاملCompositional Verification of a Network of CSP Processes: using FDR2 to verify refinement in the event of interface difference
The paper [5] presented an implementation relation formalising what it means for one process to “implement” another in the CSP (Communicating Sequential Processes, [15]) framework in the event that the two processes have different interfaces. An improved version of the relation appears in [6] and allows for compositional verification of a network of CSP processes. The model checker FDR2([15]) m...
متن کاملMoving Towards Accountability for Reasonableness – A Systematic Exploration of the Features of Legitimate Healthcare Coverage Decision-Making Processes Using Rare Diseases and Regenerative Therapies as a Case Study
Background The accountability for reasonableness (A4R) framework defines 4 conditions for legitimate healthcare coverage decision processes: Relevance, Publicity, Appeals, and Enforcement. The aim of this study was to reflect on how the diverse features of decision-making processes can be aligned with A4R conditions to guide decisio...
متن کاملRefined Interfaces for Compositional Verification
The compositional verification approach of Graf & Steffen aims at avoiding state space explosion for individual processes of a concurrent system. It relies on interfaces that express the behavioural constraints imposed on each process by synchronization with the other processes, thus preventing the exploration of states and transitions that would not be reachable in the global state space. Krim...
متن کاملShared variables in CSP
The algebra of Communicating Sequential Processes provides a facility to formal specify systems by describing their behavior. To be able do denote these systems more precisely it is useful to introduce state variables. Because the CSP algebra deals with concurrent processes, the state variables are shared between those processes. This contribution describes techniques how to represent shared va...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2003